mine pumping - Deutsch Englisch Wörterbuch